#if !defined(ConfigurationHeader)
#define ConfigurationHeader

#ifdef __LP64__
#define pointerFormat "%lx"
#else
#define pointerFormat "%x"
#endif

const char endOfRuleMarker = '#';

const char* const anythingVariable = ".";

const char sampleVariablePrefix = '.';
#define isVariable(s) ((s).length () && (s)[0] == sampleVariablePrefix)

const char* const inferenceOperator = ":-";
const char* const selectIfOperator = "=>";

#endif
